Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
101	Hybrid Session Verification through Endpoint API Generation Raymond Hu and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new hybrid session verification methodology for applying session types di Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2015-11-25 16:51:21 Software engineering Computer programming Computing GNUstep NeXT Objective-C Application programming interface Transmission Control Protocol Go
102	Microsoft Word - usable-verificationdocx Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-23 23:32:14 Software engineering Software quality Formal methods Quality Theoretical computer science Logic in computer science Software testing Food safety Verification and validation Reliability engineering Software verification Runtime verification
103	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-12-29 13:37:29 Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics
104	Searching Publications on Software Testing arXiv:1008.2647v1 [cs.SE] 16 Aug 2010 C.A. Middelburg Informatics Institute, Faculty of Science, University of Amsterdam, Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-08-16 21:04:54 Software engineering Engineering Computing Software testing Software quality Source code Software Reliability engineering Elaine Weyuker Test data Computer science Software verification
105	z/OS Version 2 Release 1 RACF Signature Verification Security Policy IBM® z/OS® Version 2 Release 1 Security Server RACF® Signature Verification Module version 1.0 FIPSNon-Proprietary Security Policy Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2016-07-19 10:01:42 Computer security Cryptography Software Cryptography standards Resource Access Control Facility FIPS 140-2 FIPS 140 Z/OS Code signing IBM System z
106	Press Release VDC Research Selects LDRA’s Tool Suite 9.5 for the Embeddy Award Test and Verification Company Awarded With Best of Show at Embedded Systems Conference ’15! Natick, MA (PRWEB) July 28, 2015 VDC Research Add to Reading List Source URL: www.vdcresearch.com Language: English - Date: 2016-02-01 13:56:02 Software testing Software engineering Computing Computer architecture Static program analysis Unit testing ARC Mentor Graphics Embedded system Award Software LDRA Testbed Liverpool Data Research Associates
107	Verification of Lexicalized Tree Adjoining Grammars Valerie Barr, Ellen Siefring Department of Computer Science Hofstra University Hempstead, NYUSA Add to Reading List Source URL: cs.union.edu Language: English - Date: 2005-11-09 14:33:26 Software engineering Cognitive science Syntax Computer programming Generative linguistics Grammar Recursion Tree-adjoining grammar Noam Chomsky Immediate constituent analysis Parse tree Natural language generation
108	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable 1.3.A-1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:11 Software engineering Formal methods Computing Theoretical computer science Software testing Software quality Logic in computer science Software verification Formal verification Runtime verification Model checking Reliability engineering
109	Towards Checking the Usefulness of Verification Tools Willem Visser and Jaco Geldenhuys Computer Science Division Department of Mathematical Sciences University of Stellenbosch, South Africa Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-03 02:51:08 Software Software testing Computing FindBugs Integrated development environment Debugging Unit testing
110	Verification-Cases: Characterizing the Completeness Degree of Incomplete Verification for C Programs Towards Using Formal Verification for Low Criticality Functions Daniel Ratiu Vincent Nimal Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Theoretical computer science Formal methods Systems engineering Software Logic in computer science Software testing Formal verification Functional verification Verification and validation Verification Model checking

UPDATE